Antique Silver Filagree-Case and Scissors

Antique Team

In this document, we use the Abstract Interpretation framework to analyze concurrent programs using Thread-Modular Analysis. We designed a relational abstraction of interferences in order to infer more properties and go beyond the state of the art. We implemented a basic analyzer, studying the numerical properties of a simple language. We present the results obtained, as well as a study of the ...

Antique medical instruments

Keratome and scissors.

THE problem of the perfect cataract section and how it should be made is prominent in the minds of ophthalmic surgeons. We are all aware that the success of a lens extraction is substantially dependent upon the accuracy of the section, and there are few of us who cannot recall tragedies or near-tragedies resulting from the improper opening of the eye. With this in mind, and in spite of average ...

Digital Restoration for Antique Documents

Different advantages stem from the digital restoration of documents of high cultural value. In this paper different techniques to digital restoration of antique documents are reported. In particular, we address the problem of virtual restoration of photographic prints. We propose a classification of defects related to their origin presenting also some non linear techniques able to restore the m...

Laser scissors and tweezers.

In summary, we described the use of laser scissors and tweezers from three perspectives: (a) the historical background from which these two techniques evolved, (b) an understanding and lack of understanding of the mechanisms of interaction with the biological systems, and (c) the applications of the scissors and tweezers alone and in combination. As the technology improves and we gain a better ...